This book was written to serve as a textbook for a first course in modern logic. Coherent and well organized, it familiarizes readers with an exact and complete theory of logical inference and its applications to mathematics and the empirical sciences. The first part deals with formal principles of [...]

The philosopher Patrick Suppes has developed a unique and influential approach to studying the foundations of science - he combines an understanding of the main principles of scientific theories in axiomatic terms and formal models with a hands-on approach. While moving the study of the philosophy o[...]